ETH Zurich - PDFSEARCH.IO - Document Search Engine

ETH Zurich
Results: 3349

#	Item
951	A Basic Linear Algebra Compiler Daniele Spampinato Markus Püschel Department of Computer Science ETH Zürich, Switzerland Add to Reading List Source URL: cgo.org Language: English - Date: 2014-02-27 09:26:47 Numerical linear algebra Software engineering Basic Linear Algebra Subprograms Numerical software Const Linear algebra Computing Theoretical computer science
952	Fast Binary Translation: Translation Efficiency and Runtime Efficiency Mathias Payer and Thomas R. Gross Department of Computer Science ETH Zürich Add to Reading List Source URL: www.nebelwelt.net Language: English - Date: 2016-04-13 09:07:44
953	Smart Playing Cards – Enhancing the Gaming Experience with RFID Christian Floerkemeier and Friedemann Mattern Institute for Pervasive Computing, Department of Computer Science, ETH Zurich, 8092 Zurich, Switzerland {flo Add to Reading List Source URL: www.vs.inf.ethz.ch Language: English - Date: 2006-03-29 04:24:22
954	Specifying Reusable Components? Nadia Polikarpova, Carlo A. Furia, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {nadia.polikarpova,carlo.furia,bertrand.meyer}@inf.ethz.ch Abstract. Reusable Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-02-24 07:02:06
955	A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:33:20 Software engineering Computer programming Software Formal methods Logic in computer science Object-oriented programming languages Object-oriented programming Software testing Postcondition Eiffel Assertion Class invariant
956	1 An automatic technique for static deadlock prevention Bertrand Meyer ETH Zurich, Innopolis University & Eiffel Software Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2015-02-12 01:13:29
957	SECURITY IN THE GRANDER ORDER OF THINGS Bertrand Meyer Professor of Software Engineering, ETH Zürich Add to Reading List Source URL: www.iwia.org Language: English - Date: 2016-01-14 06:08:13
958	DynSec: On-the-fly Code Rewriting and Repair Mathias Payer, Boris Bluntschli, Thomas R. Gross Department of Computer Science ETH Zurich now at UC Berkeley Add to Reading List Source URL: www.nebelwelt.net Language: English - Date: 2016-04-13 09:07:44
959	Safe Loading - A Foundation for Secure Execution of Untrusted Programs Mathias Payer ETH Zurich, Switzerland Tobias Hartmann ETH Zurich, Switzerland Add to Reading List Source URL: www.nebelwelt.net Language: English - Date: 2016-04-13 09:07:44
960	Device Recognition for Intuitive Interaction with the Web of Things Simon Mayer ETH Zurich Universit¨ atstrasse 6 Add to Reading List Source URL: www.vs.inf.ethz.ch Language: English - Date: 2013-07-22 09:20:34 Computing Humancomputer interaction Technology Human communication User interface techniques Information appliances Internet of Things Smart device User interface Mobile device Ubiquitous computing Smart environment

UPDATE